<?php
	set_time_limit (0);
	$filas=file("bandera.txt");
	$valor=$filas[0];
	echo $valor;	
?> 